$\vdash$  $\forall$$A$, $B$:Type. ($A$ = $B$) $\Rightarrow$ ($A$ $\subseteq$r $B$)